Open Kernel Labs - PDFSEARCH.IO - Document Search Engine

Open Kernel Labs
Results: 69

#	Item
11	ISSUE 32 \| DECEMBER[removed]INSIDE ICT improves cancer treatment ATSE Fellowships Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:46 NICTA Education Gernot Heiser Open Kernel Labs L4 microkernel family University of New South Wales Information and communication technologies in education Australian National University University of Sydney Association of Commonwealth Universities Technology Academia
12	ISSUE 31 \| SEPTEMBER[removed]INSIDE First implant of ‘pre-bionic eye’ New investment Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:52 Academia Open Kernel Labs Education Gernot Heiser Information and communication technologies in education University of New South Wales University of Sydney University of Melbourne Association of Commonwealth Universities Technology NICTA
13	Introduction COMP9242 2008/S2 Week 1 Part 1 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2009-10-01 17:42:24 L4 microkernel family Gernot Heiser Embedded systems Microkernel Open Kernel Labs Mach Kernel Trusted computing base Hypervisor System software Computer architecture Computing
14	Annual Activity Plan 2009 Table of Contents: Annual Activity Plan 2009 ........................................................................................... 1 Table of Contents: .................................. Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:00:49 Research institutes Academia Association of Commonwealth Universities Gi-Fi L4 microkernel family Cooperative Research Centre Information and communication technologies in education Framework Programmes for Research and Technological Development Open Kernel Labs Technology Computing NICTA
15	imagination[removed]Annual Research Report from imagination to impact Focusing on imagination Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:40:49 Open Kernel Labs L4 microkernel family Gi-Fi LIXI Framework Programmes for Research and Technological Development Capability-based security Ambient intelligence Electronics NICTA Computing Technology
16	Introduction COMP9242 2008/S2 Week 1 Part 2 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2009-10-01 17:42:24 L4 microkernel family Gernot Heiser Open Kernel Labs Microkernel NICTA Formal verification Kernel GNU General Public License University of New South Wales System software Software Computer architecture
17	ISSUE 14 June[removed]www.nicta.com.au NICTA Takes Innovation to the World Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:41 Gernot Heiser Computing Open Kernel Labs Dante Electronics University of New South Wales CeBIT University of Melbourne Association of Commonwealth Universities NICTA Technology
18	Automatic Device Driver Synthesis with Termite Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser UNSW, NICTA, Open Kernel Labs (Australia), John Keys, Intel Conventional driver development Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-12 16:19:00 Standard Performance Evaluation Corporation Control key Gernot Heiser Electronics Device driver synthesis and verification Computing General Purpose Input/Output Device driver
19	Elfweaver Reference Manual Open Kernel Labs DRAFT Document Number: Add to Reading List Source URL: wiki.ok-labs.com Language: English - Date: 2008-06-20 04:12:54 Computer file formats Executable and Linkable Format Unix Ar Portable Executable Man page Transmission Control Protocol File format Size Computing Software System software
20	ISSUE 15 October[removed]www.nicta.com.au NICTA Puts ICT Innovation First Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:42 Higher education Technology Gernot Heiser Open Kernel Labs Dante L4 microkernel family Griffith University Future Internet University of New South Wales Association of Commonwealth Universities Academia NICTA

UPDATE